Tarskian semantics, or no notation without denotation!
نویسندگان
چکیده
منابع مشابه
Tarskian Semantics, or No Notation Without Denotation!
Tarskian semantics is called "Tarskian" for historical reasons (Tarski, 1936). A more descriptive name would be "systematic denotational semantics," or SD for short. The method is called "denotational" because it specified the meanings of a notation in terms of what its expressions denote. The method is called "systematic" in hopes that the rules that assign meaning are precise enough to suppor...
متن کاملA Tarskian Semantics for Answer Set Programming
Extended logic programming was introduced initially as an epistemic logic for default and autoepistemic reasoning. With time the reasons for interest in the language have shifted. In 1999 extended logic programming was proposed as the basis of the answer-set programming (ASP) paradigm for modeling and solving search problems and in that role the language is primarily used now. However, in the n...
متن کاملEmbedding Tarskian Semantics in Vector Spaces
We propose a new linear algebraic approach to the computation of Tarskian semantics in logic. We embed a finite model M in first-order logic with N entities in N-dimensional Euclidean spaceR by mapping entities ofM to N dimensional one-hot vectors and k-ary relations to order-k adjacency tensors (multi-way arrays). Second given a logical formula F in prenex normal form, we compile F into a set ...
متن کاملA Tarskian Informal Semantics for Answer Set Programming
In their seminal papers on stable model semantics, Gelfond and Lifschitz introduced ASP by casting programs as epistemic theories, in which rules represent statements about the knowledge of a rational agent. To the best of our knowledge, theirs is still the only published systematic account of the intuitive meaning of rules and programs under the stable semantics. In current ASP practice, howev...
متن کاملFrom Notions to Models and Back Again, Again
A typical thread in research relies on the maturing of ideasthrough an iterative process of construction, testing and refinement.In this talk I will trace some such trajectories of ideas by illustrationfrom some of my own and others’ experiences in agent-based modelling.I draw inspiration from previous commentaries, including from thosewho generated the mottos: “No Notation ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitive Science
سال: 1978
ISSN: 0364-0213
DOI: 10.1016/s0364-0213(78)80049-4